41. Induction, recursion, and programming
پدیدآورنده: Wand, Mitchell
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Induction )Mathematics(,، Recursion theory
رده :
QA
76
.
6
.
W34
42. Interval analysis
پدیدآورنده: Moore, Ramon E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Internal analysis )Mathematics(,، Electronic digital computers-- Programming
رده :
QA
297
.
M63
43. Introduction a la technique de l'ordinateur
پدیدآورنده: / par Alexandra I. Forsythe ...[et al.] Traduction Francaise par Roland Baduel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers programming,Electronic data processing mathematics
رده :
651
.
8
In
44. Introduction to computational science and mathematics
پدیدآورنده: Van Loan, Charles F.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Electronic digital computers - Programming
رده :
QA
76
.
9
.
M35
V37
1996
45. Introduction to computing : structured problem solving using WATFIV-S
پدیدآورنده: Dyck, V. A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، FORTRAN )Computer program language(,، Mathematics - Data processing
رده :
QA
76
.
6
.
D93
46. Introduction to scientific computing
پدیدآورنده: Van Loan, Charles F.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science,Programming ، Electronic digital computers,، MATLAB
رده :
QA
76
.
9
.
M35
V375
1997
47. Mathematics for computer programmers
پدیدآورنده: Kay, Christine Benedyk
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
48. Mathematics of program construction
پدیدآورنده: Ronald Back house Jose Nuno oliveria
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
49. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
50. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
51. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
52. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
53. Optimum design of control systems
پدیدآورنده: / Julius T. Tou
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming (Mathematics),Systems engineering,Electronic digital computers
رده :
519
.
7
To-O
54. Optimum design of digital control systems
پدیدآورنده : Tou, Tsu-lieh
موضوع : ، Programming )Mathematics(,، Systems engineering,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Optimum design of digital control systems
پدیدآورنده: Julius T. Tou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic digital computers.,Programming (Mathematics),Systems engineering.
56. Principles of computer programming : a mathematical approach
پدیدآورنده: Harlan D. Mills ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P743
1987
57. Principles of computer science
پدیدآورنده: / Cullen Schaffer
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع: Computer science - Mathematics,Electronic digital computers - programming
رده :
QA
76
.
9
.
M35S3
1988
58. Problem solving and computer programming
پدیدآورنده: Grogono, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,Problems, exercises, etc - Data processing ، Mathematics,Data processing ، Problem solving
رده :
QA
76
.
6
.
G758
1982
59. Programming and mathematical method
پدیدآورنده: Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
60. Programming and mathematical method
پدیدآورنده: Edited by manfred broy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
